projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4706616) | patch
xen/arm: gic: Document how gic_set_irq_type should be called
authorJulien Grall <julien.grall@arm.com>
Wed, 27 Jul 2016 13:58:26 +0000 (14:58 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 27 Jul 2016 19:23:35 +0000 (12:23 -0700)
commit84e8aaa5a0cd59f774cada9b04fb6db4512f8692
tree3a04e76fd0333a1e1cfae2174711f37b2074c843tree | snapshot
parent47066162e60da545fb6317bec4cf9a1482b3a55ccommit | diff
xen/arm: gic: Document how gic_set_irq_type should be called

Changing the value of Int_config is UNPREDICTABLE when the corresponding
interrupt is not disabled.

The driver is assuming the interrupt will be disabled by the caller of
gic_set_irq_type. Add an ASSERT to ensure it.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/gic.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.